Characterization of a New Restart Strategy for Randomized Backtrack Search

نویسندگان

  • Venkata Praveen Guddeti
  • Berthe Y. Choueiry
چکیده

We propose an improved restart strategy for randomized backtrack search, and evaluate its performance by comparing to other heuristic and stochastic search techniques for solving random problems and a tight real-world resource allocation problem. The restart strategy proposed by Gomes et al. [1] requires the specification of a cutoff value determined from an overall profile of the cost of search for solving the problem. When no such profile is known, the cutoff value is chosen by trial-and-error. The Randomization and Geometric Restart (RGR) proposed by Walsh does not rely on a cost profile but determines the cutoff value as a function of a constant parameter and the number of variables in the problem [2]. Unlike these strategies, which have fixed restart schedules, our technique (RDGR) dynamically adapts the value of the cutoff parameter to the results of the search process. Our experiments investigate the behavior of these techniques using the cumulative distribution of the solutions, over different run-time durations, values of the cutoff, and problem types (i.e., a real-world resource allocation problem and randomly-generated binary constraint satisfaction problems). We show that distinguishing between solvable and over-constrained problem instances in our real-world case-study yields new insights on the relative performance of the search techniques tested. We propose to use this characterization as a basis for building new strategies of cooperative, hybrid search.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Empirical Study of a New Restart Strategy for Randomized Backtrack Search

We propose an improved restart strategy for randomized backtrack search and compare its performance to other search mechanisms in the context of solving a tight real-world resource allocation problem. The restart strategy proposed by Gomes et al. [1] requires the specification of a cutoff value determined from an overall profile of the cost of search for solving the problem. When no such profil...

متن کامل

A Randomization Strategy for Combinatorial Search

Recent work on the combinatorial search has provided experimental and theoretical evidence that randomization and restart strategies proposed by Gomes, Selman, and Kautz, can be very effective for backtrack search algorithms to solve some hard satisfiable instances of SAT. One difficulty of effectively using the restart strategy is its potential conflict with the branching heuristic. It is well...

متن کامل

A Random Jump Strategy for Combinatorial Search

Recent work on the combinatorial search has provided experimental and theoretical evidence that randomization and restart strategies proposed by Gomes, Selman, and Kautz, can be very effective for backtrack search algorithms to solve some hard satisfiable instances of SAT. One difficulty of effectively using the restart strategy is its potential conflict with the branching heuristic. It is well...

متن کامل

Formal Models of Heavy-Tailed Behavior in Combinatorial Search

Recently, it has been found that the cost distributions of randomized backtrack search in combinatorial domains are often heavytailed. Such heavy-tailed distributions explain the high variability observed when using backtrack-style procedures. A good understanding of this phenomenon can lead to better search techniques. For example, restart strategies provide a good mechanism for eliminating th...

متن کامل

Problem-Sensitive Restart Heuristics for the DPLL Procedure

Search restarts have shown great potential in speeding up SAT solvers based on the DPLL procedure. However, most restart policies presented so far do not take the problem structure into account. In this paper we present several new problem-sensitive restart heuristics. They all observe different search parameters like conflict level or backtrack level over time and, based on their development, ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004